Towards Uniform Reasoning via
نویسنده
چکیده
منابع مشابه
Towards A Logic For Causal Reasoning
Causality has recently entered, in one way or the other, a number of diierent theories of actions and change. It proved a very useful tool when addressing speciic representation problems in this area. However, none of these ad hoc notions of causal-ity provide a uniform platform for causal reasoning. The purpose of this paper is to make a rst step towards a pure logic of causal statements and c...
متن کاملTowards a Sustainable Anti-Corruption Strategy: An Ethic-Induced Model
Literature abounds to show that the current anti-corruption strategies have failed to fight corruption because of neglect of ethics in these strategies, despite its importance. The purpose of this paper is to make a contribution to anti-corruption theory by developing a model that clarifies many complex ethical dilemmas around corruption. To develop a conceptual model, the extant literatures on...
متن کاملTowards a Formal Model of Knowledge Acquisition via Cooeperative Dialogue
We aim, in this paper, to make a a first step towards developing a model of knowledge acquisition/learning via cooperative dialogue. A key idea in the model is the concept of integrating exchanged information, via dialogue, within an agent's theory. The process is nonmonotonic. Dialogue is a structured process and the structure is relative to what an agent knows about the world or a domain of d...
متن کاملTowards a Uniform Framework to Support the Evolution of Software Models
Software models, as used in Model-Driven Engineering (MDE), are subject to continuous modification and extension in different evolution scenarios. Changes, often requiring propagation throughout the model, may cause undesired effects like inconsistencies and redundancies in different views of the model. Given the size of software models and the complexity of the reasoning tasks to detect releva...
متن کاملTowards a Java Framework for Knowledge Representation and Inference
The Knowledge Representation Package consist of a framework that implement several kinds of processing engines. The framework using a data structure based on the Blackboard pattern [2], is written in Java and has three main components: knowledge representation, knowledge repository and inference engine. It can be used for make reasoning in semantic networks, frames or rule based systems. In inf...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003